Перевод: с английского на русский

с русского на английский

equational exception

См. также в других словарях:

  • Boolean algebras canonically defined — Boolean algebras have been formally defined variously as a kind of lattice and as a kind of ring. This article presents them more neutrally but equally formally as simply the models of the equational theory of two values, and observes the… …   Wikipedia

  • logic, history of — Introduction       the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic       There was a medieval tradition according to which the Greek philosopher …   Universalium

  • Arabic grammar — Arabic is a Semitic language. See Arabic language for more information on the language in general. This article describes the grammar of Classical Arabic and Modern Standard Arabic. History The identity of the oldest Arabic grammarian is disputed …   Wikipedia

  • Boolean algebra — This article discusses the subject referred to as Boolean algebra. For the mathematical objects, see Boolean algebra (structure). Boolean algebra, as developed in 1854 by George Boole in his book An Investigation of the Laws of Thought,[1] is a… …   Wikipedia

  • Boolean algebra (introduction) — Boolean algebra, developed in 1854 by George Boole in his book An Investigation of the Laws of Thought , is a variant of ordinary algebra as taught in high school. Boolean algebra differs from ordinary algebra in three ways: in the values that… …   Wikipedia

  • Otomi language — Otomi Hñähnü, Hñähño, Hñotho, Hñähü, Hñätho, Yųhų, Yųhmų, Ñųhų, Ñǫthǫ, Ñañhų Otomi market …   Wikipedia

  • ʾIʿrab — ʾIʿrāb (إﻋﺮﺍﺏ IPA: [ʔiʕraːb]) is an Arabic term for the system of nominal and adjectival suffixes of Classical Arabic. These suffixes are written in fully vocalized Arabic texts, notably the Qurʾān or texts written for children or Arabic… …   Wikipedia

  • Q (programming language) — Infobox programming language name = Q logo = paradigm = multiparadigm: functional, object oriented year = designer = Albert Gräf developer = latest release version = 7.5 latest release date = September 12, 2006 typing = dynamic, strong… …   Wikipedia

  • List of functional programming topics — This is a list of functional programming topics. Contents 1 Foundational concepts 2 Lambda calculus 3 Combinatory logic 4 Intuitionistic logic …   Wikipedia

  • Boolean algebra (logic) — For other uses, see Boolean algebra (disambiguation). Boolean algebra (or Boolean logic) is a logical calculus of truth values, developed by George Boole in the 1840s. It resembles the algebra of real numbers, but with the numeric operations of… …   Wikipedia

  • Logical equality — For the corresponding concept in combinational logic, see XNOR gate. XNOR Logic Gate Symbol Logical equality is a logical operator that corresponds to equality in Boolean algebra and to the logical biconditional in propositional calculus. It… …   Wikipedia

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»